#include <stdlib.h>
#include "Mutex.h"


MutexPtr mutexConstructor() {
    MutexPtr mutex = (MutexPtr) malloc(sizeof(MutexStr));
    mutex->owner = NO_ID;
    mutex->processQueue = queueConstructor();
    return mutex;
}

void mutexDestructor(MutexPtr this) {
    this->processQueue->destruct(this->processQueue);
    free(this);
}